Semantical Descriptions of Models for Web Design

نویسندگان

  • Peter Barna
  • Geert-Jan Houben
  • Flavius Frasincar
  • Richard Vdovjak
چکیده

The use of semantic web languages brings a number of advantages for web engineering methodologies. In this paper we present how in the Hera methodology the design models benefit from description in semantic web languages. We describe how the important models are expressed and how the corresponding meta-models are defined. This is illustrated for the Application Model that specifies the hypermedia navigation over the content in the application, and do so for both the static and dynamic cases. With the support of the dynamics, particularly the interaction of the user with the generated hypermedia presentation, we extend the possibilities to specify the design of a new generation of web applications.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards Intelligent Web Services: The Web Service Modeling Ontology (WSMO)

The Semantic Web and the Semantic Web Services build a natural application area for Intelligent Agents, namely querying and reasoning about structured knowledge and semantic descriptions of services and their interfaces on the Web. This paper provides an overview of the Web Service Modeling Ontology, a conceptual framework for the semantical description of Web services.

متن کامل

Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach

We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and business processes. We show in particular that one can tailor business process definitions in application-domain yet rigorous terms in such a way that the resulting ASM models can be used as basis for binding contracts between domai...

متن کامل

Mechanical Analysis of UML State Machines and Class Diagrams

A semantic model for statecharts is used as the basis of a mechanization in Isabelle. Similarly, we build an Isabelle embedding of class diagrams using ideas from a reference semantics for Object-Z, without using Object-Z itself, rather expressing the semantics directly in Is-abelle's Higher Order Logic. The combination of these two mechanized semantical models is intended as a basis for reason...

متن کامل

TRANSFORMATIONS AND SEMANTICAL CHECKS FOR SIL - 1 Corrie Huijs

SIL (SPRITE Input Language) is developed as an intermediate format between a variety of specification languages and a number of input formats of synthesis tools and silicon compilers. The second aim in its development was to get a useful language backbone for transformational design, Therefore, SIL is based on a formal semantical model and on only a small number of basic concepts. Transformatio...

متن کامل

TRANSFORMATIONS AND SEMANTICAL CHECKS FOR SIL - 1 Corrie

SIL (SPRITE Input Language) is developed as an intermediate format between a variety of specification languages and a number of input formats of synthesis tools and silicon compilers. The second aim in its development was to get a useful language backbone for transformational design, Therefore, SIL is based on a formal semantical model and on only a small number of basic concepts. Transformatio...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004